A Tractable Paraconsistent Fuzzy Description Logic
نویسندگان
چکیده
In this paper, we introduce the tractable pf -EL logic, a paraconsistent version of the fuzzy logic f -EL. Within pf -EL, it is possible to tolerate contradictions under incomplete and vague knowledge. pf -EL extends the f -EL language with a paraconsistent negation in order to represent contradictions. This paraconsistent negation is defined under Belnap’s bilattices. It is important to observe that pf -EL is a conservative extension of f -EL, thus assuring that the polynomial-time reasoning algorithm used in f -EL can also be used in pf -EL.
منابع مشابه
Paraconsistent Reasoning for Expressive and Tractable Description Logics
Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage that it can be implemented by invoking classical reasoners to keep the same complexity as classical semantics. In this paper, we further study how to extend the four-valued semantics to more expressive description logics, such as...
متن کاملInterpreting GUHA Data Mining Logic in Paraconsistent Fuzzy Logic Framework
A natural interpretation of GUHA style data mining logic in paraconsistent fuzzy logic framework is introduced. Significance of this interpretation is discussed.
متن کاملEfficient Paraconsistent Reasoning with Ontologies and Rules
Description Logic (DL) based ontologies and nonmonotonic rules provide complementary features whose combination is crucial in many applications. In hybrid knowledge bases (KBs), which combine both formalisms, for large real-world applications, often integrating knowledge originating from different sources, inconsistencies can easily occur. These commonly trivialize standard reasoning and preven...
متن کاملWell-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies
Description Logic (DL) based ontologies and nonmonotonic rules provide complementary features whose combination is crucial in many applications. In hybrid knowledge bases (KBs), which combine both formalisms, for large real-world applications, often integrating knowledge originating from different sources, inconsistencies can easily occur. These commonly trivialize standard reasoning and preven...
متن کاملInterval Neutrosophic Logics: Theory and Applications
In this paper, we present the interval neutrosophic logics which generalizes the fuzzy logic, paraconsistent logic, intuitionistic fuzzy logic and many other non-classical and non-standard logics. We will give the formal definition of interval neutrosophic propositional calculus and interval neutrosophic predicate calculus. Then we give one application of interval neutrosophic logics to do appr...
متن کامل